中科院软件所成果获英伟达重点引用，打造EDA领域更强核心引擎 求解器，是工业软件的核心计算引擎，它在芯片设计、工业调度、智能制造等多个领域都有重要应用。比如，布尔可满足性问题（SAT，Satisfiability Problem）求解器就是电子设计自动化（EDA，Electronic Design Automation） 英伟达 eda 中科院 软件所成果 中科院软件所 2025-09-15 16:24 4